SATISFIABILITY SOLVING FOR SOFTWARE VERIFICATION David D´eharbe DIMAp/UFRN (Natal, Brazil) Silvio Ranise INRIA-Lorraine (Nancy, France)

Source URL: www.loria.fr

STRATEGIES FOR OPEN AND PERMANENT ACCESS TO SCIENTIFIC INFORMATION IN LATIN AMERICA: FOCUS ON HEALTH AND ENVIRONMENTAL INFORMATION FOR SUSTAINABLE DEVELOPMENT ATIBAIA, SÃO PAULO, BRAZIL MAY 08 – 10, 2007

Source URL: www.punkish.org

• Publishing
• Knowledge
• Academia
• Academic publishing
• Open access
• Electronic publishing
• Scholarly communication
• Data publishing
• Research data archiving
• SciELO
• Institutional repository
• Digital preservation

Extending Smt-Lib v2 with λ-Terms and Polymorphism Richard Bonichon, David D´eharbe, and Cl´audia Tavares Universidade Federal do Rio Grande do Norte Natal, Brazil , , claudia@p

Source URL: www.verit-solver.org

Brazil in Global Value Chains: Implications for Trade and Industrial Policy By Timothy Sturgeon, Gary Gereffi, Andrew Guinn, and Ezequiel Zylberberg1 Article for Funcex Magazine, draft May 21, 2013 THE RISE OF GLOBAL VAL

Source URL: cggc.duke.edu

STUDENT’S PERCEPTION OF THE IMPORTANCE OF INTERNATIONALIZATION Silke AT Weber, Karina Chamma, Silvana S Schellini International Office Botucatu Medical School, UNESP, Brazil

Source URL: www.faubai.org.br

Germplasm Enhancement of Maize GEMS-0143 BR52060:S0210Country: Brazil

Source URL: www.public.iastate.edu

Survey: Swedish Business Climate in Brazil | 2015 Swedish-Brazilian Chamber of Commerce

Source URL: www.swedcham.com.br

Germplasm Enhancement of Maize GEMS-0226 BR106:S99a99e-B-053 Country: Brazil

Source URL: www.public.iastate.edu

Beam casting implicit surfaces on the GPU with interval arithmetic Francisco Ganacim, Luiz Henrique de Figueiredo, Diego Nehab IMPA – Instituto Nacional de Matem´atica Pura e Aplicada, Rio de Janeiro, Brazil Abstract

Source URL: w3.impa.br

diStRiBuição de dengue no noRte de mato gRoSSo, BRaSil, Dengue distribution in the north of Mato Grosso, Brazil, Fernanda Machiner1, Domingos de Jesus Rodrigues2, Ednaldo Antônio de Andrade3 rESUmo

Source URL: www.cadernos.iesc.ufrj.br